The present essay is a critical study of Barwise and Perry’s book, emphasizing the logical and model-theoretical aspects of their work. I begin by presenting the authors’ criticism of the classical view of logic and semantics within the tradition of Frege, Russell and Tarski. In this connection, I discuss the so-called Frege argument (“the slingshot”). I try to show that the argument appears inconclusive, not only from a situation-theoretic perspective, but also from such alternative perspectives as orthodox Fregean semantics or (...) Russellian semantics. I then discuss the ontology of situation semantics and the way it is modeled within set theory. In particular, I compare the notion of an abstract situation with that of a possible world. The last two sections concern the model-theoretic aspects of the authors’ theory. In Section 7, I discuss how the “partial” perspective of situation semantics differs from that of classical model theory. Finally, in Section 8, different model-theoretic accounts of attitude reports within situation semantics are discussed, in particular the “relations to situations”-approach presented by the authors in Chapter 9 of S & A. The usual problems of “logical omniscience” that appear in standard Hintikka-style epistemic logic are avoided in situation semantics. I argue, however, that situation semantics is faced with analogous counter-intuitive results, unless the expressive power of the language under study is suitably restricted. (shrink)

Wilhelm has recently shown that widely accepted principles about immediate ground are inconsistent with some principles of propositional identity. This note responds to this inconsistency by developing two ground-theoretic accounts of propositional individuation. On one account some of the grounding principles are incorrect; on the other account, the principles of propositional individuation are incorrect.

Two different versions of the ending of the first additament to C. S. Peirce's 1908 article, "A Neglected Argument for the Reality of God," appear in the Collected Papers but were omitted from The Essential Peirce. In one, he linked the hypothesis of God's Reality to his entire theory of logic as semeiotic, claiming that proving the latter would also prove the former. In the other, he offered a final outline of his cosmology, in which the Reality of God as (...) Ens necessarium is indispensable to both the origin and order of our existing universe of Signs. Exploring these passages, as well as the unpublished manuscript drafts of the article, provides important insights into the key concepts of instinct and continuity within Peirce's comprehensive system of thought. (shrink)

The Problem of Iterated Ground is to explain what grounds truths about ground: if Γ grounds φ, what grounds that Γ grounds φ? This paper develops a novel solution to this problem. The basic idea is to connect ground to explanatory arguments. By developing a rigorous account of explanatory arguments we can equip operators for factive and non-factive ground with natural introduction and elimination rules. A satisfactory account of iterated ground falls directly out of the resulting logic: non- factive grounding (...) claims, if true, are zero-grounded in the sense of Fine. (shrink)

A central aim for philosophers of science has been to understand scientific theory change, or more specifically the rationality of theory change. Philosophers and historians of science have suggested that not only theories but also scientific methods and standards of rational inquiry have changed through the history of science. The topic here is methodological change, and what kind of theory of rational methodological change is appropriate. The modest ambition of this paper is to discuss in what ways results in formal (...) theories of belief revision can throw light on the question of what an appropriate theory of methodological change would look like. (shrink)

In bioethics, the first decade of the twenty-first century was characterized by the emergence of interest in the ethical, legal, and social aspects of neuroscience research. At the same time an ongoing extension of the topics and phenomena addressed by neuroscientists was observed alongside its rise as one of the leading disciplines in the biomedical science. One of these phenomena addressed by neuroscientists and moral psychologists was the neural processes involved in moral decision-making. Today both strands of research are often (...) addressed under the label of neuroethics. To understand this development we recalled literature from 1995 to 2012 stored in the Mainz Neuroethics Database (i) to investigate the quantitative development of scientific publications in neuroethics; (ii) to explore changes in the topics of neuroethics research within the defined time interval; (iii) to illustrate the interdependence of different research topics within the neuroethics literature; (iv) to show the development of the distribution of neuroethics research on peer-reviewed journals; and (v) to display the academic background and affiliations of neuroethics Researchers ... (shrink)

In earlier papers (Lindström & Rabinowicz, 1989. 1990), we proposed a generalization of the AGM approach to belief revision. Our proposal was to view belief revision as a relation rather thanas a function on theories (or belief sets). The idea was to allow for there being several equally reasonable revisions of a theory with a given proposition. In the present paper, we show that the relational approach is the natural result of generalizing in a certain way an approach to belief (...) revision due to Adam Grove. In his (1988) paper, Grove presents two closely related modelings of functional belief revision, one in terms of a family of "spheres" around the agent's theory G and the other in terms of an epistemic entrenchment ordering of propositions. The "sphere"-terminology is natural when one looks upon theories and propositions as being represented by sets of possible worlds. Grove's spheres may be thought of as possible "fallback" theories relative to the agent's original theory: theories that he may reach by deleting propositions that are not "sufficiently" entrenched (according to standards of sufficient entrenchment of varying stringency). To put it differently, fallbacks are theories that are closed upwards under entrenchment The entrenchment ordering can be recovered from the family of fallbacks by the definition: A is at least as entrenched as B iff A belongs to every fallback to which B belongs. To revise a theory T with a proposition A, we go to the smallest sphere that contain A-worlds and intersect it with A. The relational notion of belief revision that we are interested in, results from weakening epistemic entrenchment by not assuming it to be connected. I.e., we want to allow that some propositions may be incomparable with respect to epistemic entrenchment. As a result, the family of fallbacks around a given theory will no longer have to be nested. This change opens up the possibility for several different ways of revising a theory with a given proposition. (shrink)

I systematically defend a novel account of the grounds for identity and distinctness facts: they are all uniquely zero‐grounded. First, this Null Account is shown to avoid a range of problems facing other accounts: a relation satisfying the Null Account would be an excellent candidate for being the identity relation. Second, a plenitudinist view of relations suggests that there is such a relation. To flesh out this plenitudinist view I sketch a novel framework for expressing real definitions, use this framework (...) to give a definition of identity, and show how the central features of the identity relation can be deduced from this definition. (shrink)

Although Peirce frequently insisted that continuity was a core component of his philosophical thought, his conception of it evolved considerably during his lifetime, culminating in a theory grounded primarily in topical geometry. Two manuscripts, one of which has never before been published, reveal that his formulation of this approach was both earlier and more thorough than most scholars seem to have realized. Combining these and other relevant texts with the better-known passages highlights a key ontological distinction: a collection is bottom-up, (...) such that the parts are real and the whole is an ens rationis, while a continuum is top-down, such that the whole is real and the parts are entia rationis. Accordingly, five properties are jointly necessary and sufficient for Peirce’s topical continuum: rationality, divisibility, homogeneity, contiguity, and inexhaustibility. (shrink)

This paper evaluates the proof-theoretic definition of ground developed by Poggiolesi in a range of recent publications and argues that her proposed definition fails. The paper then outlines an alternative approach where logical consequence relations and the logical operations are defined in terms of ground.

This paper develops a novel theory of abstraction—what we call collective abstraction. The theory solves a notorious problem for noneliminative structuralism. The noneliminative structuralist holds that in addition to various isomorphic systems there is a pure structure that can be abstracted from each of these systems; but existing accounts of abstraction fail for nonrigid systems like the complex numbers. The problem with the existing accounts is that they attempt to define a unique abstraction operation. The theory of collective abstraction instead (...) simultaneously defines a collection of distinct abstraction operations, each of which maps a system to its corresponding pure structure. The theory is precisely formulated in an essentialist language. This allows us to throw new light on the question to what extent structuralists are committed to symmetric dependence. Finally, we apply the theory of collective abstraction to solve a problem about converse relations. (shrink)

The history of humankind is full of examples that indicate a constant desire to make human beings more moral. Nowadays, technological breakthroughs might have a significant impact on our moral character and abilities. This is the case of Virtual Reality (VR) technologies. The aim of this paper is to consider the ethical aspects of the use of VR in enhancing empathy. First, we will offer an introduction to VR, explaining its fundamental features, devices and concepts. Then, we will approach the (...) characterization of VR as an “empathy machine,” showing why this medium has aroused so much interest and why, nevertheless, we do not believe it is the ideal way to enhance empathy. As an alternative, we will consider fostering empathy-related abilities through virtual embodiment in avatars. In the conclusion, however, we will, we will examine some of the serious concerns related to the ethical relevance of empathy and will defend the philosophical case for a reason-guided empathy, also suggesting specific guidelines for possible future developments of empathy enhancement projects through VR embodied experiences. (shrink)

This article explores the nature and theoretical import of a hitherto neglected class of fictions which we term ‘self-involving interactive fictions’. SIIFs are interactive fictions, but they differ from standard examples of interactive fictions by being, in some important sense, about those who consume them. In order to better understand the nature of SIIFs, and the ways in which they differ from other fictions, we focus primarily on the most prominent example of the category: video-game fictions. We argue that appreciating (...) the self-involving nature of video-game fictions is key to understanding various otherwise puzzling phenomena concerning the ways in which consumers respond to them. Video-game fictions are, however, far from being the only extant example of this class; and we suggest that the recent philosophical interest in video games would be better focused on the wider class of self-involving interactive fictions. (shrink)

How does vagueness interact with metaphysical modality and with restrictions of it, such as nomological modality? In particular, how do definiteness, necessity (understood as restricted in some way or not), and actuality interact? This paper proposes a model-theoretic framework for investigating the logic and semantics of that interaction. The framework is put forward in an ecumenical spirit: it is intended to be applicable to all theories of vagueness that express vagueness using a definiteness (or: determinacy) operator. We will show how (...) epistemicists, supervaluationists, and theorists of metaphysical vagueness like Barnes and Williams (2010) can interpret the framework.  We will also present a complete axiomatization of the logic we recommend to both epistemicists and local supervaluationists. . (shrink)

This paper presents a uniform semantic treatment of nonmonotonic inference operations that allow for inferences from infinite sets of premises. The semantics is formulated in terms of selection functions and is a generalization of the preferential semantics of Shoham (1987), (1988), Kraus, Lehman, and Magidor (1990) and Makinson (1989), (1993). A selection function picks out from a given set of possible states (worlds, situations, models) a subset consisting of those states that are, in some sense, the most preferred ones. A (...) proposition α is a nonmonotonic consequence of a set of propositions Γ iff α holds in all the most preferred Γ-states. In the literature on revealed preference theory, there are a number of well-known theorems concerning the representability of selection functions, satisfying certain properties, in terms of underlying preference relations. Such theorems are utilized here to give corresponding representation theorems for nonmonotonic inference operations. At the end of the paper, the connection between nonmonotonic inference and belief revision, in the sense of Alchourrón, Gärdenfors, and Makinson, is explored. In this connection, infinitary belief revision operations that allow for the revision of a theory with a possibly infinite set of propositions are introduced and characterized axiomatically. (shrink)

The increasing application of artificial intelligence (AI) to healthcare raises both hope and ethical concerns. Some advanced machine learning methods provide accurate clinical predictions at the expense of a significant lack of explainability. Alex John London has defended that accuracy is a more important value than explainability in AI medicine. In this article, we locate the trade-off between accurate performance and explainable algorithms in the context of distributive justice. We acknowledge that accuracy is cardinal from outcome-oriented justice because it helps (...) to maximize patients’ benefits and optimizes limited resources. However, we claim that the opaqueness of the algorithmic black box and its absence of explainability threatens core commitments of procedural fairness such as accountability, avoidance of bias, and transparency. To illustrate this, we discuss liver transplantation as a case of critical medical resources in which the lack of explainability in AI-based allocation algorithms is procedurally unfair. Finally, we provide a number of ethical recommendations for when considering the use of unexplainable algorithms in the distribution of health-related resources. (shrink)

The semeiotic of Charles Sanders Peirce is irreducibly triadic, positing that a sign mediates between the object that determines it and the interpretant that it determines. He eventually holds that each sign has two objects and three interpretants, standardizing quickly on immediate and dynamical for the objects but experimenting with a variety of names for the interpretants. The two most prominent terminologies are immediate/dynamical/final and emotional/energetic/logical, and scholars have long debated how they are related to each other. This paper seeks (...) to shed new light on the matter by reviewing the numerous manuscript drafts where Peirce develops the latter nomenclature while attempting to introduce his pragmatism to a general audience. It then goes on to examine an additional set of interpretants, intentional/effectual/communicational, and shows that the three different trichotomies can be understood as complementary, rather than redundant or conflicting. (shrink)

Recently there has been a somewhat surprising interest among Kantian theorists in the moral standing of animals, coupled with a no less surprising optimism among these theorists about the prospect of incorporating animal moral standing into Kantian theory without contorting its other attractive features. These theorists contend in particular that animal standing can be incorporated into Kantian moral theory without abandoning its logocentrism: the claim that everything that is valuable depends for its value on its relation to rationality. In this (...) essay I raise doubts about the prospects for accommodating animal moral standing within a logocentric Kantianism. I argue instead that the best way to incorporate animal moral standing into Kantian theory is to admit more radical departures from Kant’s position by maintaining that consciousness is a locus of moral standing independent from rationality. I propose that we should attribute moral standing to all conscious animals because the capacity of consciousness is the criterion distinguishing individuals whose well-being generates reasons from individuals whose well-being fails to do so. We need such a criterion because we speak of the well-being of things, such as artifacts and meteorological phenomena, which clearly lack moral standing. Having already argued against the Kantian view that the criterion of moral standing is rationality, I proceed to argue that consciousness is also superior to its other principal rival for the criterion of moral standing: life. On the view that emerges from this discussion, we have obligations to show concern for conscious individuals by treating their well-being as providing us with reasons for action; the view thus endorses the criterion of moral standing typically advanced by utilitarians. On this view we also have a distinct class of obligations to show respect for conscious rational individuals; the view thus endorses the Kantian claim that persons have a distinctive moral status in virtue of their possession of rational capacities. In this essay thus begin to show how a principal insight of each leading approach to modern moral theory may be captured in a unified theory. (shrink)

As emphasized by Alonzo Church and David Kaplan (Church 1974, Kaplan 1975), the philosophies of language of Frege and Russell incorporate quite different methods of semantic analysis with different basic concepts and different ontologies. Accordingly we distinguish between a Fregean and a Russellian tradition in intensional semantics. The purpose of this paper is to pursue the Russellian alternative and to provide a language of intensional logic with a model-theoretic semantics. We also discuss the so-called Russell-Myhill paradox that threatens simple Russellian (...) type theory if propositions satisfies very strict principles of individuation. One way of avoiding the paradox is to adopt a ramified rather than a simple theory of types. (shrink)

The cumulative impact of enhancement technologies may alter the human species in the very long-term future. In this article, I will start showing how radical genetic enhancements may accelerate the conversion into a novel species. I will also clarify the concepts of ‘biological species’, ‘transhuman’ and ‘posthuman’. Then, I will summarize some ethical arguments for creating a transhuman or posthuman species with a substantially higher level of well-being than the human one. In particular, I will present what I shall call (...) the Principle of the Best Interests of Posthumanity, which states that the enhancement of the human and transhuman species must be directed towards the creation of a posthuman existence that is substantially more valuable than its predecessors. I suggest that human extinction may be considered, within that principle, as one of the best interests of posthumanity. Finally, I will develop three objections that make that principle unattractive and that show that pursuing a full-blown programme of posthuman evolution is ethically flawed. (shrink)

Tackling climate change is one of the most demanding challenges of humanity in the 21st century. Still, the efforts to mitigate the current environmental crisis do not seem enough to deal with the increased existential risks for the human and other species. Persson and Savulescu have proposed that our evolutionarily forged moral psychology is one of the impediments to facing as enormous a problem as global warming. They suggested that if we want to address properly some of the most pressing (...) problems that cause catastrophic harm to our existence, we should enhance our moral behavior by biomedical means. The objective of this paper is, precisely, to reflect on whether a Moral Bio-Enhancement (henceforth MBE) program would be a viable option to confront the climate emergency. To meet this goal, I will propose the Ultimate Mostropic (hereafter UM) thought experiment, a hypothetical situation where we have already discovered the UM, an available, safe (without any deleterious secondary effects), extremely cheap and effective pill to enhance our cognitive, affective and motivational abilities related to morality. After briefly presenting the main argument of Persson and Savulescu regarding MBE and climate change, I will point out some of the difficulties that make MBE a daunting but exciting philosophical and scientific debate. In order to overcome these complications, I will describe the UM thought experiment, which involves two scenarios of the MBE program: (a) the state-driven, compulsory and universal enterprise, and (b) the initiative of voluntary individuals. I will show that the shortcomings of MBE programs through the UM in both scenarios make Persson and Savulescu’s proposal a not appealing pathway to mitigate climate change. In the final section, I will suggest that an inaccurate attribution of responsibilities underlies their proposal and that the collective inaction problem should be redirected primarily through a reinforcement of the political nature of the solutions. (shrink)

In this short article, my aim is to introduce readers to some debates about religious freedom and constitutional law in the United States. I highlight a few of the enduring questions debated by political philosophers and legal scholars. For example, does the Constitution require special religious exemptions for citizens whose religious convictions put them at odds with otherwise neutral and legitimate state pol- icy? Should the Constitution be interpreted as supporting a strict secularism or a multicultural egalitarian liberal position? What (...) are the limits to religious freedom? To illustrate how these and related questions are debated I consider some recent work on religious freedom jurisprudence in the United States. (shrink)

The chapter explores whether, or to what extent, recent work in experimental philosophy puts pressure on the idea that the concept of causation is ‘egalitarian’. Causal selection – where experimental subjects tend to rate the causal strength of (for example) a norm-violator more strongly than a non-norm-violator – is a well established phenomenon, and is in prima facie tension with an egalitarian conception of causation; it also, indirectly, puts prima facie pressure on the idea that causation is a worldly phenomenon (...) whose obtaining is independent of facts about norms. The chapter explores both the various psychological mechanisms and the broadly pragmatic approaches to explaining causal selection. It argues that the answer to the question whether or not the concept of causation is egalitarian is currently significantly empirically underdetermined, and suggests some avenues for further investigation. (shrink)

The theories of belief change developed within the AGM-tradition are not logics in the proper sense, but rather informal axiomatic theories of belief change. Instead of characterizing the models of belief and belief change in a formalized object language, the AGM-approach uses a natural language — ordinary mathematical English — to characterize the mathematical structures that are under study. Recently, however, various authors such as Johan van Benthem and Maarten de Rijke have suggested representing doxastic change within a formal logical (...) language: a dynamic modal logic. Inspired by these suggestions Krister Segerberg has developed a very general logical framework for reasoning about doxastic change: dynamic doxastic logic (DDL). This framework may be seen as an extension of standard Hintikka-style doxastic logic with dynamic operators representing various kinds of transformations of the agent's doxastic state. Basic DDL describes an agent that has opinions about the external world and an ability to change these opinions in the light of new information. Such an agent is non-introspective in the sense that he lacks opinions about his own belief states. Here we are going to discuss various possibilities for developing a dynamic doxastic logic for introspective agents: full DDL or DDL unlimited. The project of constructing such a logic is faced with difficulties due to the fact that the agent’s own doxastic state now becomes a part of the reality that he is trying to explore: when an introspective agent learns more about the world, then the reality he holds beliefs about undergoes a change. But then his introspective (higher-order) beliefs have to be adjusted accordingly. In the paper we shall consider various ways of solving this problem. (shrink)

Emerging reprogenetic technologies may radically change how humans reproduce in the not-so-distant future. One foreseeable consequence of disruptive innovations in the procreative domain is an increase in the reproductive autonomy of intended parents. Regarding the prospective parental liberty of enhancing non-health–related traits of the offspring, one controversy has particularly dominated the literature. Does parents' choice of genetically enhancing the traits of their descendants compromise children's future personal autonomy? In this article, I will analyse the main arguments which posit that reprogenetic (...) enhancement could be at odds with the child's future autonomy. I will argue that these objections are ill-founded. Moreover, I will present other arguments that show that reprogenetic technologies can enhance the autonomy of future children. Autonomy enhancement is a plausible and pro tanto desirable application of emerging reprogenetic technologies. (shrink)

The neuroscience of ethics is allegedly having a double impact. First, it is transforming the view of human morality through the discovery of the neurobiological underpinnings that influence moral behavior. Secondly, some neuroscientific findings are radically challenging traditional views on normative ethics. Both claims have some truth but are also overstated. In this article, the author shows that they can be understood together, although with different caveats, under the label of ‘neurofoundationalism’. Whereas the neuroscientific picture of human morality is undoubtedly (...) valuable if we avoid neuroessentialistic portraits, the empirical disruption of normative ethics seems less plausible. The neuroscience of morality, however, is providing relevant evidence that any empirically-informed ethical theory needs to critically consider. Although neuroethics is not going to bridge the is-ought divide, it may establish certain facts that require us to rethink the way we achieve our ethical aspirations. (shrink)

We discuss Sharon Ryan’s Deep Rationality Theory of wisdom, defended recently in her “Wisdom, Knowledge and Rationality.” We argue that (a) Ryan’s use of the term “rationality” needs further elaboration; (b) there is a problem with requiring that the wise person possess justified beliefs but not necessarily knowledge; (c) the conditions of DRT are not all necessary; (d) the conditions are not sufficient. At the end of our discussion, we suggest that there may be a problem with the very assumption (...) that an informative, non-circular set of necessary and sufficient conditions of wisdom can be given. (shrink)

This commentary offers a coherent reading of the papers presented in the special issue ‘Exclusion, Engagement, and Empathy: Reflections on Public Participation in Medicine and Technology’. Focusing on intellectual self-trust it adds a further perspective on the harmful epistemic consequences of social exclusion for individual agents in healthcare contexts. In addition to some clarifications regarding the concepts of ‘intellectual self-trust’ and ‘social exclusion’ the commentary also examines in what ways empathy, engagement and participatory sense-making could help to avoid threats to (...) intellectual self-trust that arise form being excluded from participation in communicative practices in the context of healthcare. (shrink)

Peirce is best known as the founder of pragmatism, but his dissatisfaction with how others understood and appropriated it prompted him to rename his own doctrine “pragmaticism” and to compose several variants of his original maxim defining it, as well as numerous restatements and elaborations. This paper presents an extensive selection of such formulations, followed by analysis and commentary demonstrating that for Peirce the ultimate meaning of an intellectual concept is properly expressed as a conditional proposition about the deliberate, self-controlled (...) conduct of its interpreters, not the law-governed behavior of its object. (shrink)

Modal logic is one of philosophy’s many children. As a mature adult it has moved out of the parental home and is nowadays straying far from its parent. But the ties are still there: philosophy is important to modal logic, modal logic is important for philosophy. Or, at least, this is a thesis we try to defend in this chapter. Limitations of space have ruled out any attempt at writing a survey of all the work going on in our field—a (...) book would be needed for that. Instead, we have tried to select material that is of interest in its own right or exemplifies noteworthy features in interesting ways. Here are some themes that have guided us throughout the writing: • The back-and-forth between philosophy and modal logic. There has been a good deal of give-and-take in the past. Carnap tried to use his modal logic to throw light on old philosophical questions, thereby inspiring others to continue his work and still others to criticise it. He certainly provoked Quine, who in his turn provided—and continues to provide—a healthy challenge to modal logicians. And Kripke’s and David Lewis’s philosophies are connected, in interesting ways, with their modal logic. Analytic philosophy would have been a lot different without modal logic! • The interpretation problem. The problem of providing a certain modal logic with an intuitive interpretation should not be conflated with the problem of providing a formal system with a model-theoretic semantics. An intuitively appealing model-theoretic semantics may be an important step towards solving the interpretation problem, but only a step. One may compare this situation with that in probability theory, where definitions of concepts like ‘outcome space’ and ‘random variable’ are orthogonal to questions about “interpretations” of the concept of probability. • The value of formalisation. Modal logic sets standards of precision, which are a challenge to—and sometimes a model for—philosophy. Classical philosophical questions can be sharpened and seen from a new perspective when formulated in a framework of modal logic. On the other hand, representing old questions in a formal garb has its dangers, such as simplification and distortion. • Why modal logic rather than classical (first or higher order) logic? The idioms of modal logic—today there are many!—seem better to correspond to human ways of thinking than ordinary extensional logic. (Cf. Chomsky’s conjecture that the NP + VP pattern is wired into the human brain.) In his An Essay in Modal Logic (1951) von Wright distinguished between four kinds of modalities: alethic (modes of truth: necessity, possibility and impossibility), epistemic (modes of being known: known to be true, known to be false, undecided), deontic (modes of obligation: obligatory, permitted, forbidden) and existential (modes of existence: universality, existence, emptiness). The existential modalities are not usually counted as modalities, but the other three categories are exemplified in three sections into which this chapter is divided. Section 1 is devoted to alethic modal logic and reviews some main themes at the heart of philosophical modal logic. Sections 2 and 3 deal with topics in epistemic logic and deontic logic, respectively, and are meant to illustrate two different uses that modal logic or indeed any logic can have: it may be applied to already existing (non-logical) theory, or it can be used to develop new theory. (shrink)

Climatology is a paradigmatic complex systems science. Understanding the global climate involves tackling problems in physics, chemistry, economics, and many other disciplines. I argue that complex systems like the global climate are characterized by certain dynamical features that explain how those systems change over time. A complex system's dynamics are shaped by the interaction of many different components operating at many different temporal and spatial scales. Examining the multidisciplinary and holistic methods of climatology can help us better understand the nature (...) of complex systems in general. -/- Questions surrounding climate science can be divided into three rough categories: foundational, methodological, and evaluative questions. "How do we know that we can trust science?" is a paradigmatic foundational question (and a surprisingly difficult one to answer). Because the global climate is so complex, questions like "what makes a system complex?" also fall into this category. There are a number of existing definitions of `complexity,' and while all of them capture some aspects of what makes intuitively complex systems distinctive, none is entirely satisfactory. Most existing accounts of complexity have been developed to work with information-theoretic objects (signals, for instance) rather than the physical and social systems studied by scientists. -/- Dynamical complexity, a concept articulated in detail in the first third of the dissertation, is designed to bridge the gap between the mathematics of contemporary complexity theory (in particular the formalism of "effective complexity" developed by Gell-Mann and Lloyd [2003]) and a more general account of the structure of science generally. Dynamical complexity provides a physical interpretation of the formal tools of mathematical complexity theory, and thus can be used as a framework for thinking about general problems in the philosophy of science, including theories, explanation, and lawhood. -/- Methodological questions include questions about how climate science constructs its models, on what basis we trust those models, and how we might improve those models. In order to answer questions about climate modeling, it's important to understand what climate models look like and how they are constructed. Climate model families are significantly more diverse than are the model families of most other sciences (even sciences that study other complex systems). Existing climate models range from basic models that can be solved on paper to staggeringly complicated models that can only be analyzed using the most advanced supercomputers in the world. I introduce some of the central concepts in climatology by demonstrating how one of the most basic climate models might be constructed. I begin with the assumption that the Earth is a simple featureless blackbody which receives energy from the sun and releases it into space, and show how to model that assumption formally. I then gradually add other factors (e.g. albedo and the greenhouse effect) to the model, and show how each addition brings the model's prediction closer to agreement with observation. After constructing this basic model, I describe the so-called "complexity hierarchy" of the rest of climate models, and argue that the sense of "complexity" used in the climate modeling community is related to dynamical complexity. -/- With a clear understanding of the basics of climate modeling in hand, I then argue that foundational issues discussed early in the dissertation suggest that computation plays an irrevocably central role in climate modeling. "Science by simulation" is essential given the complexity of the global climate, but features of the climate system--the presence of non-linearities, feedback loops, and chaotic dynamics--put principled limits on the effectiveness of computational models. This tension is at the root of the staggering pluralism of the climate model hierarchy, and suggests that such pluralism is here to stay, rather than an artifact of our ignorance. Rather than attempting to converge on a single "best fit" climate model, we ought to embrace the diversity of climate models, and view each as a specialized tool designed to predict and explain a rather narrow range of phenomena. Understanding the climate system as a whole requires examining a number of different models, and correlating their outputs. This is the most significant methodological challenge of climatology. -/- Climatology's role contemporary political discourse raises an unusually high number of evaluative questions for a physical science. The two leading approaches to crafting policy surrounding climate change center on mitigation (i.e. stopping the changes from occurring) and adaptation (making post hoc changes to ameliorate the harm caused by those changes). Crafting an effective socio-political response to the threat of anthropogenic climate change, however, requires us to integrate multiple perspectives and values: the proper response will be just as diverse and pluralistic as the climate models themselves, and will incorporate aspects of both approaches. I conclude by offering some concrete recommendations about how to integrate this value pluralism into our socio-political decision making framework. (shrink)

The prospect of human genetic enhancement requires an institutional response, and probably the creation of new institutions. The governance of genetic enhancement technologies, moreover, needs to be global in scope. In this article, I analyze the debate on the global governance of human genetic enhancement. I begin by offering a philosophical justification for the need to adopt a global framework for governance of technologies that would facilitate the improvement of non-pathological genetic traits. I then summarize the main concrete proposals that (...) have recently emerged to govern genome editing at the global level. Finally, I develop some impediments that limit the impetus for global governance of genetic enhancement. (shrink)

In his _Being Known_ Peacocke sets himself the task of answering how we come to know about metaphysical necessities. He proposes a semantic principle-based conception consisting of, first, his Principles of Possibility which pro­vide necessary and sufficient conditions for a new concept 'admissibility', and second, characterizations of possibility and of necessity in terms of that new con­cept. I focus on one structural feature; viz. the recursive application involved in the specification of 'admissibility'. After sketching Peacocke’s proposal, I intro­duce a fictional (...) protagonist, Cautious Peacocke, whose coherence I claim shows that Peacocke s proposal cannot be made good. I conclude with the conjecture that similar failure will attend any such semantic-based attempts to ground the epistemology of metaphysical necessity. -/- Dans son livre intitulé Being Known, C. Peacocke se propose de repondre à la question de savoir comment nous en venons a connaitre des nécessités métaphysiques. Il développe une conception sémantique reposant sur des principes comprenant, d’une part, ses Principes de Possibilité — qui fournissent les conditions nécessaires et suffisantes pour un nouveau concept, « l’admissibilité » — et d’autre part des caractérisations de la possibilité et de la nécessité a l’aide de ce nouveau concept. Je me concentre sur une caractéristique structurelle, a savoir l’application récursive a l’œuvre dans la spécification de «l’admissibilité ». Apres avoir esquisse la proposition de Peacocke, j’introduis un personnage fictif, Peacocke-prudent. Je soutiens que la cohérence de ce personnage montre que la proposition de Peacocke ne peut pas être satisfaite. Je conclus en conjecturant qu’un échec similaire se présentera pour toutes les tentatives de fonder l’épistemologie de la nécessité métaphysique sur de telles bases semantiques. (shrink)

This piece raises a new challenge for Christian materialist accounts of human persons. Revisiting one of the perennial challenges for Christian materialism, explaining the metaphysical compatibility of resurrection and the life everlasting with materialist metaphysics, I argue that resuscitation phenomena reported in scripture undermine van Inwagen’s and Zimmerman’s attempts to reconcile resurrection and materialism. Although this challenge to Christian materialism is not insurmountable, it provides good reason to reject several of the most serious Christian materialist projects and offers a reason (...) for Christians to consider alternatives to materialism. (shrink)

¿Puede la inteligencia artificial (IA) hacernos más morales o ayudarnos a tomar decisiones más éticas? El libro Más (que) humanos. Biotecnología, inteligencia artificial y ética de la mejora, editado por Francisco Lara y Julian Savulescu (2021), puede inspirarnos filosóficamente sobre este debate contemporáneo. En esta nota crítica, contextualizo la aportación general del volumen y analizo los dos últimos capítulos de Monasterio-Astobiza y de Lara y Deckers, quienes argumentan a favor del uso de la IA para hacernos mejores agentes morales. El (...) objetivo es ampliar y matizar críticamente algunas cuestiones clave sobre cómo la IA puede asistirnos para tomar decisiones más éticas. (shrink)

Human enhancement is one of the leading research topics in contemporary applied ethics. Interestingly, the widespread attention to the ethical aspects of future enhancement applications has generated misgivings. Are researchers who spend their time investigating the ethics of futuristic human enhancement scenarios acting in an ethically suboptimal manner? Are the methods they use to analyze future technological developments appropriate? Are institutions wasting resources by funding such research? In this article, I address the ethics of doing human enhancement ethics focusing on (...) two main concerns. The Methodological Problem refers to the question of how we should methodologically address the moral aspects of future enhancement applications. The Normative Problem refers to what is the normative justification for investigating and funding the research on the ethical aspects of future human enhancement. This article aims to give a satisfactory response to both meta-questions in order to ethically justify the inquiry into the ethical aspects of emerging enhancement technologies. (shrink)

In this paper we distinguish between various kinds of doxastic theories. One distinction is between informal and formal doxastic theories. AGM-type theories of belief change are of the former kind, while Hintikka’s logic of knowledge and belief is of the latter. Then we distinguish between static theories that study the unchanging beliefs of a certain agent and dynamic theories that investigate not only the constraints that can reasonably be imposed on the doxastic states of a rational agent but also rationality (...) constraints on the changes of doxastic state that may occur in such agents. An additional distinction is that between non-introspective theories and introspective ones. Non-introspective theories investigate agents that have opinions about the external world but no higher-order opinions about their own doxasticnstates. Standard AGM-type theories as well as the currently existing versions of Segerberg’s dynamic doxastic logic (DDL) are non-introspective. Hintikka-style doxastic logic is of course introspective but it is a static theory. Thus, the challenge remains to devise doxastic theories that are both dynamic and introspective. We outline the semantics for truly introspective dynamic doxastic logic, i.e., a dynamic doxastic logic that allows us to describe agents who have both the ability to form higher-order beliefs and to reflect upon and change their minds about their own (higher-order) beliefs. This extension of DDL demands that we give up the Preservation condition on revision. We make some suggestions as to how such a non-preservative revision operation can be constructed. We also consider extending DDL with conditionals satisfying the Ramsey test and show that Gärdenfors’ well-known impossibility result applies to such a framework. Also in this case, Preservation has to be given up. (shrink)

La pandemia de la COVID-19 ha levantado sospechas de edadismo y gerontofobia en diversas prácticas de racionamiento sanitario. La edad es un criterio de triaje controvertido. En este artículo se esclarece la relevancia ética de la edad dentro de los sistemas de triaje, analizando particularmente su rol dentro de los principios de equidad y de eficiencia. La equidad requiere dar más oportunidades a aquellos que han cumplido menos ciclos vitales. La eficiencia tiene en cuenta la edad de manera subrepticia al (...) tratar de maximizar los beneficios a corto plazo (salvar vidas) y a largo plazo (salvar años de vida). Finalmente, la edad no debe ser la última ratio de las decisiones de triaje, aunque es una variable a tener en cuenta debido a su presencia implícita en principios fundamentales de priorización. The COVID-19 pandemic has raised suspicions of ageism and gerontophobia in various health rationing practices. Age is a controversial triage criterion. This article clarifies the ethical relevance of age within triage systems, particularly its role within the principles of fairness and efficiency. Fairness requires giving more opportunities to those who have completed fewer life cycles. Efficiency takes age into account surreptitiously when trying to maximize short-term (saving lives) and long-term (saving years of life) benefits. Finally, age should not be the final rationale in triage decisions, although it is a variable to be taken into account because of its implicit presence in fundamental principles of prioritization. (shrink)

William Alston’s argument against epistemological deontologism rests upon two key premises: first, that we lack a suitable amount of voluntary control with respect to our beliefs, and, second, the principle that “ought” implies “can.” While several responses to Alston have concerned rejecting either of these two premises, I argue that even on the assumption that both premises are true, there is room to be made for deontologism in epistemology. I begin by offering a criticism of Richard Feldman’s invaluable work on (...) ‘role-oughts’, whereupon I development my own positive view in light of Feldman’s shortcomings. The upshot is that while we as epistemic agents are not responsible for the beliefs we form, we are nonetheless responsible for the various bodily or mental activities that typically bear a causal influence on belief formation. (shrink)

In “Proof-Theoretic Justification of Logic”, building on work by Dummett and Prawitz, I show how to construct use-based meaning-theories for the logical constants. The assertability-conditional meaning-theory takes the meaning of the logical constants to be given by their introduction rules; the consequence-conditional meaning-theory takes the meaning of the logical constants to be given by their elimination rules. I then consider the question: given a set of introduction rules \, what are the strongest elimination rules that are validated by an assertability (...) conditional meaning-theory based on \? I prove that the intuitionistic introduction rules are the strongest rules that are validated by the intuitionistic elimination rules. I then prove that intuitionistic logic is the strongest logic that can be given either an assertability-conditional or consequence-conditional meaning-theory. In “Grounding Grounding” I discuss the notion of grounding. My discussion revolves around the problem of iterated grounding-claims. Suppose that \ grounds \; what grounds that \ grounds that \? I argue that unless we can get a satisfactory answer to this question the notion of grounding will be useless. I discuss and reject some proposed accounts of iterated grounding claims. I then develop a new way of expressing grounding, propose an account of iterated grounding-claims and show how we can develop logics for grounding. In “Is the Vagueness Argument Valid?” I argue that the Vagueness Argument in favor of unrestricted composition isn’t valid. However, if the premisses of the argument are true and the conclusion false, mereological facts fail to supervene on non-mereological facts. I argue that this failure of supervenience is an artifact of the interplay between the necessity and determinacy operators and that it does not mean that mereological facts fail to depend on non-mereological facts. I sketch a deflationary view of ontology to establish this. (shrink)

Although the impact of so-called “sponsorship bias” has been the subject of increased attention in the philosophy of science, what exactly constitutes its epistemic wrongness is still debated. In this paper, I will argue that neither evidential accounts nor social–epistemological accounts can fully account for the epistemic wrongness of sponsorship bias, but there are good reasons to prefer social–epistemological to evidential accounts. I will defend this claim by examining how both accounts deal with a paradigm case from medical epistemology, recently (...) discussed in a paper by Bennett Holman. I will argue that evidential accounts cannot adequately capture cases of sponsorship bias that involve the manufacturing of certainty because of their neutrality with respect to the role of non-epistemic values in scientific practice. If my argument holds, it further highlights the importance of integrating social and ethical concerns into epistemological analysis, especially in applied contexts. One can only properly grasp sponsorship bias as an epistemological problem if one resists the methodological tendency to analyze social, ethical, and epistemological issues in isolation from each other. (shrink)

Is it possible to give a justification of our own practice of deductive inference? The purpose of this paper is to explain what such a justification might consist in and what its purpose could be. On the conception that we are going to pursue, to give a justification for a deductive practice means to explain in terms of an intuitively satisfactory notion of validity why the inferences that conform to the practice coincide with the valid ones. That is, a justification (...) should provide an analysis of the notion of validity and show that the inferences that conform to the practice are just the ones that are valid. Moreover, a complete justification should also explain the purpose, or point, of our inferential practice. We are first going to discuss the objection that any justification of our deductive practice must use deduction and therefore be circular. Then we will consider a particular model of justificatory explanation, building on Georg Kreisel’s concept of informal rigour. Finally, in the main part of the paper, we will discuss three ideas for defining the notion of validity: (i) the classical conception according to which the notion of (bivalent) truth is taken as basic and validity is defined in terms of the preservation of truth; (ii) the constructivist idea of starting instead with the notion of (a canonical) proof (or verification) and define validity in terms of this notion; (iii) the idea of taking the notions of rational acceptance and rejection as given and define an argument to be valid just in case it is irrational to simultaneously accept its premises and reject its conclusion (or conclusions, if we allow for multiple conclusions). Building on work by Dana Scott, we show that the last conception may be viewed as being, in a certain sense, equivalent to the first one. Finally, we discuss the so-called paradox of inference and the informativeness of deductive arguments. (shrink)

Tanto el transhumanismo como el posthumanismo filosófico han prestado una atención especial a la corporalidad humana en relación al avance tecnológico. En el presente artículo, se comienza señalando cómo ambos movimientos difieren significativamente respecto a la herencia del humanismo. Posteriormente, se aborda la noción transhumanista de la ‘libertad morfológica’ de la mano de More, Sandberg y Bostrom. A continuación, se presentan casos paradigmáticos de modificaciones corporales mediante implantes cibernéticos. En último lugar, se problematizan las cuestiones de la identidad, la corporalidad (...) y el desencuentro entre ambas corrientes respecto al ‘volcado de la mente’. -/- Transhumanism and philosophical posthumanism have paid special attention to human corporeality in relation to technological breakthroughs. This article begins by pointing out how the two movements differ significantly about the inheritance of humanism. Subsequently, the transhumanist notion of ‘morphological freedom’ is addressed from the proposals of More, Sandberg, and Bostrom. Then, paradigmatic cases of body modifications through cybernetic implants are considered. Finally, the issues of identity, corporeality, and the disagreement between the two currents regarding ‘mind uploading’ are problematized. (shrink)

According to epistemic internalism, the only facts that determine the justificational status of a belief are facts about the subject’s own mental states, like beliefs and experiences. Externalists instead hold that certain external facts, such as facts about the world or the reliability of a belief-producing mechanism, affect a belief’s justificational status. Some internalists argue that considerations about evil demon victims and brains in vats provide excellent reason to reject externalism: because these subjects are placed in epistemically unfavorable settings, externalism (...) seems unable to account for the strong intuition that these subjects’ beliefs are nonetheless justified. I think these considerations do not at all help the internalist cause. I argue that by appealing to the anti-individualistic nature of perception, it can be shown that skeptical scenarios provide no reason to prefer internalism to externalism. (shrink)

We discuss various possibilities for developing a dynamic doxastic logic (DDL) for introspective agents: agents who have the ability to form higher-order beliefs. Such agents can reflect upon and change their minds about their own beliefs. The project of constructing such a logic, full DDL or DDL unlimited, is ridden with difficulties due to the fact that the agent's own doxastic state now becomes a part of the reality he is trying to explore. When an introspective agent learns more about (...) the world (and himself), the reality he holds beliefs about undergoes a change in its doxastic part, which means that his introspective beliefs have to be adjusted accordingly. (shrink)

In this paper, I develop and respond to a novel objection to Conciliatory Views of disagreement. Having first explained Conciliationism and the problem of divine hiddenness, I develop an objection that Conciliationism exacerbates the problem of divine hiddenness. According to this objection, Conciliationism increases God’s hiddenness in both its scope and severity, and is thus incompatible with God’s existence (or at least make God’s existence quite improbable). I respond to this objection by showing that the problem of divine hiddenness is (...) not made any worse by Conciliationism. (shrink)